Divine Competition in Greco–Roman Polytheism

Divine Eros and Divine Providence in Proclus’ Educational System

DIVINE: DIscovering Variables IN Executables

This paper addresses the problem of recovering variable-like entities when analyzing executables in the absence of debugging information. We show that variable-like entities can be recovered by iterating Value-Set Analysis (VSA), a combined numeric-analysis and pointer-analysis algorithm, and Aggregate Structure Identification, an algorithm to identify the structure of aggregates. Our initial e...

The Divine in Aristotle’s Ethics

What role does the notion of the divine play in Aristotle’s account of a good life? This is not an obvious question; god appears relatively infrequently, for example, in the Nicomachean Ethics. But it might interest us, if only because of the perplexing appearance of the divine in Book 10 of that treatise, as that which appears to underwrite the choice of a contemplative life. The cognate quest...

Divine Cognitive Power

Standard analyses of omniscience are advanced in terms of a being's knowing the truth value of propositions. For example, Kenny writes that 'The doctrine of omni-science is easy to formulate precisely: it is the doctrine that for all p, then God knows that p.1 Richard Swinburne proposes that 'To say of a person P that he is omniscient at time t is to say that at t P knows of every true proposit...

Counterexample Explanation in Divine Model-checker

The thesis focuses on counterexample explanation in model checking, which aims to provide useful information about the cause of an error so that the system designer can find and fix the error faster. We summarize some of the existing methods to deal with this problem and implement the method of Alex Groce and Willem Visser. This method describes three ways of comparing failing and unfailing run...